1921. Theory and applications of models of computation
پدیدآورنده: Mitsunori Ogihara, Jun Tarui (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer science, Congresses.
1922. Theory and applications of models of computation :
پدیدآورنده: T.V. Gopal, Junzo Watada (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
رده :
QA76
.
9
.
M35
T35
2019eb
1923. Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
پدیدآورنده: Juhani Karhumaki ... ]et al.[ , Eds.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3113
1924. Theory of computation
پدیدآورنده: / Derick Wood
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Machine theory,Computer science -- Mathematics
رده :
QA
267
.
W66
1987
1925. Theory of computation
پدیدآورنده: / Dexter C. Kozen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Computer science--Mathematics,Recursion theory.
رده :
QA
,
267
.
7
,.
K69
,
2006
1926. Theory of computation
پدیدآورنده: / Dexter C. Kozen
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
1927. Theory of computation
پدیدآورنده: / Dexter C. Kozen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
1928. Theory of computation
پدیدآورنده: / Derick Wood
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computational complexity,Machine theory,Computer science - Mathematics
رده :
QA
267
.
W66
1987
1929. Theory of computation
پدیدآورنده: / A.M. Natarajan, A. Tamilarasi, P. Balasubramani
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Machine theory,Computer science -- Mathematics
رده :
QA
267
.
N35
2003
1930. Theory of computation
پدیدآورنده: Wood, Derick
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computational complexity,، Machine theory,، Computer science-- Mathematics
رده :
QA
267
.
W66
1987
1931. Theory of computation
پدیدآورنده: Wood, Derick
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computational complexity , Machine theory, Computer science - Mathematics
رده :
QA
267
.
W66
1987
1932. Theory of computation
پدیدآورنده: / A.M. Natarajan, A. Tamilarasi, P. Balasubramani
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Computational complexity,Computer science--Mathematics
رده :
511
N273t
1933. Theory of computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Computer science ; Mathematics. ; Recursion theory. ;
1934. Theory of finite Automata; With an introduction to formal languages
پدیدآورنده: Carroll, John
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer science- Mathematics
رده :
004
C319t
1935. Theory of fuzzy computation
پدیدآورنده: Apostolos Syropoulos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics,Fuzzy logic,Fuzzy Logic
رده :
QA9
.
64
1936. Theory of fuzzy computation
پدیدآورنده: / Apostolos Syropoulos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Fuzzy logic,Computer science, Mathematics
رده :
E-BOOK
1937. Theory of fuzzy computation
پدیدآورنده: / Apostolos Syropoulos
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Fuzzy logic,Computer science -- Mathematics,Computer science -- Mathematics,Fuzzy logic,Number theory
رده :
QA9
.
64
1938. Tools for High Performance Computing 2012
پدیدآورنده: edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.,Operating systems (Computers)
رده :
QA76
.
88
E358
2013
1939. Topice in discrete matemathics
پدیدآورنده: Gupta , Satinder Bal
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Computer science -- Mathematics.
رده :
QA
39
.
3
.
G8T6
2017
